Initial algebra - PDFSEARCH.IO - Document Search Engine

Initial algebra
Results: 96

#	Item
31	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematics Adjoint functors Computer programming Type theory F-coalgebra Initial algebra F-algebra Map Coalgebra Category theory Functional programming Software engineering
32	QUESTION Solve the following system of linear differential equations, subject to the = dz = 8 and dy = 52 when t = 0: initial conditions dx Add to Reading List Source URL: www.edshare.soton.ac.uk Language: English - Date: 2010-10-04 14:01:18 Operator theory Linear algebra Spectral theory Eigenvalues and eigenvectors Singular value decomposition Linear differential equation Spectral theory of ordinary differential equations Sturm–Liouville theory Algebra Mathematics Ordinary differential equations
33	Hindawi Publishing Corporation ISRN Mathematical Physics Volume 2013, Article ID[removed], 7 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 15:01:11 Linear algebra Partial differential equations Multivariable calculus Hilbert space Korteweg–de Vries equation Initial value problem Calculus Mathematical analysis Mathematics
34	Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-09-27 12:57:43 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory
35	Theory and Applications of Categories, Vol. 27, No. 4, 2012, pp. 47–64. THE CORE OF ADJOINT FUNCTORS ROSS STREET Abstract. There is a lot of redundancy in the usual definition of adjoint functors. We define and prove Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-06-12 11:49:00 Algebra Monad Functor Symbol Sheaf Initial and terminal objects Adjunction Grothendieck topology Abstract algebra Category theory Adjoint functors
36	Theory and Applications of Categories, Vol. 29, No. 26, 2014, pp. 775–780. DIAGRAMMATIC CHARACTERISATION OF ENRICHED ABSOLUTE COLIMITS RICHARD GARNER Abstract. We provide a diagrammatic criterion for the existence of Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-10-31 12:18:00 Functors Limit Adjoint functors Initial and terminal objects Cone Span Universal property Coproduct Diagram Category theory Abstract algebra Mathematics
37	Theory and Applications of Categories, Vol. 28, No. 26, 2013, pp. 857–932. MULTITENSORS AS MONADS ON CATEGORIES OF ENRICHED GRAPHS MARK WEBER Abstract. In this paper we unify the developments of [Batanin, 1998], [Bata Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-09-25 12:23:00 Functors Initial and terminal objects Limit Universal property Coproduct Monad Equivalence of categories Natural transformation Topos Category theory Abstract algebra Adjoint functors
38	Equations on the Derivatives of an Initial Endowment−Competitive Equilibrium Mapping for an Exchange Economy Steven R. Williams University of Illinois at Urbana−Champaign Add to Reading List Source URL: www.business.illinois.edu Language: English - Date: 2004-01-27 19:30:00 General equilibrium theory Competitive equilibrium Kernel Vector space Matrix Rank Floquet theory Algebra Mathematics Linear algebra
39	Theory and Applications of Categories, Vol. 29, No. 9, 2014, pp. 256301. THE THEORY AND PRACTICE OF REEDY CATEGORIES EMILY RIEHL AND DOMINIC VERITY Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-06-13 13:14:00 Functors Limit Diagram Equivalence of categories Model category Universal property Simplicial set Representable functor Initial and terminal objects Category theory Abstract algebra Mathematics
40	Theory and Applications of Categories, Vol. 27, No. 12, 2013, pp. 242–262. LAWVERE COMPLETENESS AS A TOPOLOGICAL PROPERTY SERDAR SOZUBEK Abstract. Lawvere’s notion of completeness for quantale-enriched categories ha Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-01-24 13:03:00 Order theory Sheaf theory Functor Adjoint functors Initial and terminal objects Grothendieck topology Natural transformation Sheaf Complete Heyting algebra Mathematics Category theory Abstract algebra